1. Advances in sport science and computer science
پدیدآورنده : editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
2. Design computing and cognition '06 /
پدیدآورنده : edited by John S. Gero.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognition, Congresses.,Computer-aided design, Congresses.,Cognition.,Computer-aided design.,COMPUTERS-- CAD-CAM.,Ingénierie.
رده :
TA174
.
I58
2006eb
3. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
4. Handbook of research on socio-technical design and social networking systems /
پدیدآورنده : Brian Whitworth, Aldo de Moor, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.,COMPUTERS-- Information Technology.,Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.
رده :
HM742
.
H37
2009eb
5. Music technology with Swing :
پدیدآورنده : Mitsuko Aramaki, Matthew E.P. Davies, Richard Kronland-Martinet, Sølvi Ystad (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer music, Congresses.,Data mining, Congresses.,Human-computer interaction, Congresses.,Musical analysis-- Data processing, Congresses.,Sounds-- Data processing, Congresses.,Artificial intelligence.,Computer music.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Data mining.,Human-computer interaction.,Musical analysis-- Data processing.,Software Engineering.,User interface design & usability.
رده :
ML1380
6. Parallel computational fluid dynamics :
پدیدآورنده : edited by D. Keyes ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dinàmica de fluids -- Processament de dades -- Congressos.,Paral·lelisme (Informàtica) -- Congressos.
7. Parallel computational fluid dynamics :
پدیدآورنده : edited by D. Keyes ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dinàmica de fluids -- Processament de dades -- Congressos.,Paral·lelisme (Informàtica) -- Congressos.
8. Smart technology :
پدیدآورنده : Francisco Torres Guerrero, Jorge Lozoya-Santos, Eduardo Gonzalez Mendivil, Leticia Neira-Tovar, Pablo G. Ramírez Flores, Jorge Martin-Gutierrez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Graphics programming.,Image processing.,Information retrieval.,Internet of things.,User interface design & usability.
رده :
Q334
9. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
10. Virtualization, the complete cornerstone guide to virtualization best practices :
پدیدآورنده : [Ivanka Menken].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Virtual computer systems.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,Virtual computer systems.
رده :
QA76
.
9
.
V5
M46
2008eb
